" Grigori Mints" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)

Grigori Mints, Reinhard Muskens

Категория: Языкознание

617 Kb

#2

Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)

Grigori Mints, Reinhard Muskens

Категория: Языкознание

913 Kb

#3

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Категория: Математика

2.52 Mb

#4

A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

Grigori Mints

2.52 Mb

#5

Short Introduction to Intuitionistic Logic

Grigori Mints

13.84 Mb

#6

Logic colloquium '96: Proc. San Sebastian

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.97 Mb

#7

A Short Introduction to Intuitionistic Logic

Grigori Mints

10.63 Mb

#8

Games, logic, and constructive sets

Grigori Mints, Reinhard Muskens

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

861 Kb